منابع مشابه
Dealing with Zero-Time Transitions in Axiom Systems
In the modelization of time-dependent systems it is often useful to use the abstraction of zero-time transitions, i.e., changes of system state that occur in a time that can be neglected with respect to the whole dynamics of system evolution. Such an abstraction, however, sometimes generates critical situations in the formal system analysis. This may lead to limitations or unnatural use of such...
متن کاملSome Admissible Rules in Modal Systems with the Brouwerian Axiom
The paper studies the admissibility of some cancellation rules in normal modal systems with the Brouwerian axiom. For example, KDB and KTB are proved to admit the following rule: if`:(^) and`3 3 then`:(_). Two notions of the preservation of validity by a rule on a frame are deened; on both, the preservation of validity by the preceding rule is shown not to be a rst{order condition. A speculativ...
متن کاملOn Axiom Systems of Pseudo-BCK Algebras
A symplified axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms defining bounded commutative pseudoBCK algebras and show that these axioms are independent (that is, none follows from the others). 2010 Mathematics Subject Classification: 03G25, 06F05, 06F35
متن کاملResearch Statement: Polynomial Systems with Combinatorial Structure
Oftentimes in mathematics, a theoretical investigation leads to a system of polynomial equations. Generically, such systems are difficult to solve. In typical applications, however, the equations usually come equipped with additional structure that can be exploited. In this regard, much of my research as been devoted to developing techniques for solving structured systems using tools from algeb...
متن کاملThe Bounded Axiom A Forcing Axiom
We introduce the Bounded Axiom A Forcing Axiom(BAAFA). It turns out that it is equiconsistent with the existence of a regular Σ2-correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing Axiom(BPFA).
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1973
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093890999